منابع مشابه
Smart Grid Attacks and Countermeasures
The term “Smart Grid” has been coined and used for several years to describe the efforts of the current power grid modernization effort. This effort plans to introduce self-healing, energy efficiency, reliability, and security using two-way digital communications and control technology, along with a host of other valuable attributes. As a bi-product of this modernization and newly gained system...
متن کاملSmart-Phone Attacks and Defenses
Internet has been permeating into every corner of the world and every aspect of our lives, empowering us with anywhere, anytime remote access and control over information, personal communications (e.g., through smart-phones), and our environment (e.g., through the use of sensors, actuators, and RFIDs). While enabling interoperation with the Internet brings tremendous opportunities in service cr...
متن کاملModelling and Analysis on Smart Grid Against Smart Attacks
Modern power systems worldwide are facing a rising appeal for the upgrade to a highly intelligent generation of electricity networks commonly known as the Smart Grid. Advanced monitoring and control systems like Supervisory Control And Data Acquisition (SCADA) and Advanced Metering Infrastructure (AMI) systems have been widely deployed and management based on them provides more flexible and ach...
متن کاملScilla: a Smart Contract Intermediate-Level LAnguage
This paper outlines key design principles of Scilla—an intermediatelevel language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification. Scilla is not meant to be a high-l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2970495